function vanishing at infinity - German English Dictionary